One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

This essay constitutes an attempt to probe the very idea of a saying/showing distinction of the kind that Wittgenstein advances in the Tractatus—to say what such a distinction consists in, to say what philosophical work it has to do, and to say how we might be justified in drawing such a distinction. Towards the end of the essay the discussion is related to Wittgenstein’s later work. It is argued that we can profitably see this work in such a way that (...) a saying/showing distinction arises there too. In particular, in the final sub-section of the essay, it is suggested that we can see in Wittgenstein’s later work an inducement to say what we are shown. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

How, if at all, are we to distinguish between the works that we call ‘art’ and those that we call ‘pornography’? This question gets a grip because from classical Greek vases and the frescoes of Pompeii to Renaissance mythological painting and sculpture to Modernist prints, the European artistic tradition is chock-full of art that looks a lot like pornography. In this paper I propose a way of thinking about the distinction that is grounded in art historical considerations regarding the function (...) of erotic images in 16 th -century Italy. This exploration suggests that the root of the erotic art/pornography distinction was—at least in this context—class: in particular, the need for a special category of unsanctioned illicit images arose at the very time when print culture was beginning to threaten elite privilege. What made an erotic representation exceed the boundaries of acceptability, I suggest, was not its extreme libidinosity but, rather, its widespread availability and, thereby, its threat to one of the mechanisms of sustaining class privilege. (shrink)

This is a review of: Newton C.A. da Costa, Logiques Classiques et Non Classiques. Essai sur les Fondements de la Logique. Translated from the Portuguese by Jean-Yves Béziau (with two appendices by the translator) Culture Scientifique, Masson, Paris, 1997, 276p. ISBN 2-225-85247-2.

In this essay, we aim to provide an overview of the political and philosophical issues pertaining to asexuality. The first section, “What Is Asexuality?,” offers an account of asexuality. The second section, “Asexuality as a Unique Sexual Orientation,” argues that asexuality should be understood as a unique sexual orientation. The third section, “Asexuality and Oppression,” discusses the various forms of oppression facing asexual persons today. The fourth section, “The Goods of Asexuality,” articulates some goods that asexuality brings to human lives, (...) and we do this with an eye toward conceiving of asexuality as something other than a mere deficit. (shrink)

How do artifacts get their functions? It is typically thought that an artifact’s function depends on its maker’s intentions. This chapter argues that this common understanding is fatally flawed. Nor can artifact function be understood in terms of current uses or capacities. Instead, it proposes that we understand artifact function on the etiological model that Ruth Millikan and others have proposed for the biological realm. This model offers a robustly normative conception of function, but it does so naturalistically by employing (...) our best scientific theories, in particular natural selection. To help make this case, it proposes “living artifacts” (organisms designed for human purposes through artificial selection) as a bridge between the artifactual and the biological realms. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

There is a current debate about the grammar of intention: do I intend to φ, or that I φ? The equivalent question in Aristotle relates especially to choice. I argue that, in the context of practical reasoning, choice, as also wish, has as its object an act. I then explore the role that this plays within his account of the relation of thought to action. In particular, I discuss the relation of deliberation to the practical syllogism, and the thesis that (...) the conclusion of the second is an action. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

We present counterexamples to the widespread assumption that Moorean sentences cannot be rationally asserted. We then explain why Moorean assertions of the sort we discuss do not incur the irrationality charge. Our argument involves an appeal to the dual-process theory of the mind and a contrast between the conditions for ascribing beliefs to oneself and the conditions for making assertions about independently existing states of affairs. We conclude by contrasting beliefs of the sort we discuss with the structurally similar but (...) rationally impermissible beliefs of certain psychiatric patients. (shrink)

EN In his “Logic, Language, and Knowledge” Chateaubriand denounces the tyranny of belief , but takes some positions on knowledge and justification which seem to be too exacting. The fact that Chateaubriand derives constraints on the notion of justification by a close parallel to the notion of proof makes it unnecessarily loaded with the individual, rather than with the collective perspective. His position seems to leave little room for common knowledge, collective knowledge and usual common-sense knowledge, and absolutely no room (...) for explaining how people take correct decisions based on apparently faulty notions of knowledge and justification. -/- PT Em “Logic, Language, and Knowledge” Chateaubriand denuncia a tirania da crença , mas toma posições sobre conhecimento e justificação que parecem demasiado exigentes. O fato de Chateaubriand derivar condições sobre a noção de justificação a partir de uma estreita analogia com a noção de prova torna a noção de justiticação desnecessariamente carregada com a perspectiva indivídual, em detrimento da perspectiva coletiva. Sua posição parece deixar pouco espaço para noções como conhecimento comum, conhecimento coletivo e senso comum, e absolutamente nenhum espaço para explicar como as pessoas tomam decisões corretas com base em noções aparentemente errôneas de conhecimento e de justificação. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. My (...) proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

An interpretation of Kant's first antinomy is defended whereby both its thesis and its antithesis depend on a common basic principle that Kant endorses, namely that there cannot be an ‘infinite contingency’, by which is meant a contingent fact about how an infinite region of space or time is occupied. The greatest problem with this interpretation is that Kant explicitly declines to apply counterparts of the temporal arguments in the antinomy to the world’s future, even though, if the interpretation is (...) correct, such arguments are clearly there to be applied. This problem, it is argued, is surmountable. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

It is argued that the use/mention distinction, if it is to be a clear-cut one, cannot have the significance that it is usually thought to have. For that significance attaches to the distinction between employing an expression in order to draw attention to, or to talk about, some aspect of the world, as determined by the expression’s meaning, and employing it in order to draw attention to, or to talk about, the expression itself—and this distinction is not a clear-cut one. (...) In the final section of the essay this argument is extended to cast doubt on a rather glib appeal to the use/mention distinction that is frequently made in the philosophy of language. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

Wrong beliefs, known by some as ‘alternative facts’, have proliferated lately in important areas of human life, including social, political, and public health domains. This can be and has been damaging. This brief article proposes an epistemological category classification of these wrong beliefs, with the following mappings: a) ‘No-Information’ marked by willful blindness produces ‘Empty Beliefs’; b) ‘Mis-Information’ yields ‘Mis(taken) Beliefs’; and c) ‘Dis-Information’ predicated on blatant distortions produces ‘Dis(torted) Beliefs’. This simple classification system, is perhaps epistemologically satisfying, and moreover (...) could have positive policy implications. (shrink)

This essay is concerned with six linguistic moves that we commonly make, each of which is considered in turn. These are: stating rules of representation; representing things categorically; mentioning expressions; saying truly or falsely how things are; saying vaguely how things are; and stating rules of rules of representation. A common-sense view is defended of what is involved in our doing each of these six things against a much more sceptical view emanating from the idea that linguistic behavior is fundamentally (...) messy. Both the fifth move and the sixth move involve vague concepts, and much of the essay is concerned with developing an approach to various problems and puzzles that attach to such concepts, most notably the sorites paradoxes. (shrink)

This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic of (...) Many” and the “Logic of Plausibility”, that characterize assertions of the kind “many”, and “for a good number of”. Although the notion of simple majority (“more than half”) can be captured by means of a modulated quantifier semantically interpreted by cardinal measure on evidence sets, it is proven that this system, although sound, cannot be complete if checked against the intended model. This justifies the interest on a purely qualitative approach to this kind of quantification, what is guaranteed by interpreting the modulated quantifiers as notions of families of principal filters and reduced topologies, respectively. We prove that both systems are conservative extensions of classical logic that preserve important properties, such as soundness and completeness. Some additional perspectives connecting our approach to flexible reasoning through modulated logics to epistemology and social choice theory are also discussed. (shrink)

This essay involves exploration of certain repercussions of Bernard Williams’ view that there is, in Wittgenstein’s later work, a transcendental idealism akin to that found in the Tractatus—sharing with it the feature that it cannot be satisfactorily stated. It is argued that, if Williams is right, then Wittgenstein’s later work precludes a philosophically substantial theory of meaning; for such a theory would force us to try to state the idealism. In a postscript written for the reprint of the essay, reasons (...) are given for thinking that Williams is not right: Wittgenstein’s later work actually helps us to repudiate as ill-conceived all those questions whose answers invite us to embrace any such idealism. But the main thesis of the essay remains intact. Indeed the idea that Wittgenstein’s later work precludes a philosophically substantial theory of meaning is reinforced. (shrink)

In the last two decades, the term “quality-of-life” has become popular in medicine and health care. There are, however, important differences in the meaning and the use of the term. The message of all quality-of-life talk is that medicine and health care are not valuable in themselves. They are valuable to the extent that they contribute to the quality of life of patients. The ultimate aims of medicine and health care are not health or prolongation of life as such, but (...) preservation or improvement of the quality of life. The primary aims of medicine and health care, such as the prolongation of life, can – but need not always – come into conflict with the ultimate ones: medical treatments do not always benefit a patient. In this article I will, first, summarize the results of my explorations of the use and the meaning of the term “quality-of-life.” The use and the meaning of the term turn out to depend on the contexts of medical decisionmaking in which it is used. I will show that there are at least three different concepts of quality-of-life. Second, I will argue that the different concepts of quality-of-life are not unrelated. They point to different components of and/or conditions for happiness. Third, I will analyze the relation between the three concepts of qualityof-life, health and happiness. (shrink)

This essay appeared as a contribution to a special issue of European Journal of Philosophy to mark the fiftieth anniversary of the publication of P. F. Strawson’s The Bounds of Sense. In that book Strawson asks whether we should agree with Kant's claim, in his Critique of Pure Reason, that there can be only one world. What Kant means by this claim is that the four-dimensional realm that we inhabit must constitute the whole of empirical reality. Strawson gives reasons for (...) challenging this claim. This essay raises the question whether, even if Strawson is right, we may nevertheless have reason to believe that there can be only one world on a broader understanding of ‘world’. The aim is as much to clarify the issue as to settle it, although an attempt is made to motivate the view that there can indeed be only one world on this broader understanding. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

The aim of this essay is to characterize the issue whether tense is real. Roughly, this is the issue whether, given any tensed representation, its tense corresponds in some suitably direct way to some feature of reality. The task is to make this less rough. Eight characterizations of the issue are considered and rejected, before one is endorsed. On this characterization, the unreality of tense is equivalent to the unity of temporal reality. The issue whether tense is real, so characterized, (...) is then related to Kant’s deduction of the categories in his Critique of Pure Reason. It is argued that Kant’s deduction does not provide the argument for the unreality of tense that it may appear to. The conclusion drawn at the end of the essay is that the unreality of tense cannot be argued for—not because tense is real, but because, even if it is unreal, its unreality is basic. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

It is argued that, although there are no ineffable truths, the concept of ineffability nevertheless does have application—to certain states of knowledge. Towards the end of the essay this idea is related to religion: it is argued that the language that results from attempting (unsuccessfully) to put ineffable knowledge into words is very often of a religious kind. An example of this is given at the very end of the essay. This example concerns the Euthyphro question: whether what is right (...) is right because God wills it, or whether God wills it because it is right. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

This essay is concerned with Graham Bird’s treatment, in The Revolutionary Kant, of Kant’s mathematical antinomies. On Bird’s interpretation, our error in these antinomies is to think that we can settle certain issues about the limits of physical reality by pure reason whereas in fact we cannot settle them at all. On the rival interpretation advocated in this essay, it is not true that we cannot settle these issues. Our error is to presuppose that the concept of the unconditioned has (...) application to physical reality. Once this presupposition has been abandoned, we can retrieve sound arguments from the antinomies, not indeed to demonstrate that the views originally being defended are correct, but to demonstrate that the views originally being attacked are incorrect. The essay concludes with some comments concerning how this disagreement relates to a broader disagreement about the best way to understand Kant. (shrink)

This essay is concerned with solipsism, understood as the extreme sceptical view that I have no knowledge except of my subjective state. A less rough formulation of the view is mooted, inspired by a Quinean combination of naturalism and empiricism. An objection to the resultant position is then considered, based on Putnam’s argument that we are not brains in vats. This objection is first outlined, then pitted against a series of counter-objections. Eventually it is endorsed, but only at the price (...) of exposing the formulation of solipsism in question as not, after all, a satisfactory formulation. This leads to further speculation about the status of solipsism itself. Two of the possibilities that are considered are, firstly, that it is incoherent and, secondly, that it is inexpressible. (shrink)

Understanding the autonomic nervous system and homeostatic changes associated with emotions remains a major challenge for neuroscientists and a fundamental prerequisite to treat anxiety, stress, and emotional disorders. Based on recent publications, the inter-relationship between respiration and emotions and the influence of respiration on autonomic changes, and subsequent widespread membrane potential changes resulting from changes in homeostasis are discussed. We hypothesize that reversing homeostatic alterations with meditation and breathing techniques rather than targeting neurotransmitters with medication may be a superior method (...) to address the whole body changes that occur in stress, anxiety, and depression. Detrimental effects of stress, negative emotions, and sympathetic dominance of the autonomic nervous system have been shown to be counteracted by different forms of meditation, relaxation, and breathing techniques. We propose that these breathing techniques could be used as firstline and supplemental treatments for stress, anxiety, depression, and some emotional disorders. (shrink)

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop one aspect of (...) the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

Pranayamic breathing, defined as a manipulation of breath movement, has been shown to contribute to a physiologic response characterized by the presence of decreased oxygen consumption, decreased heart rate, and decreased blood pressure, as well as increased theta wave amplitude in EEG recordings, increased parasympathetic activity accompanied by the experience of alertness and reinvigoration. The mechanism of how pranayamic breathing interacts with the nervous system affecting metabolism and autonomic functions remains to be clearly understood. It is our hypothesis that voluntary (...) slow deep breathing functionally resets the autonomic nervous system through stretchinduced inhibitory signals and hyperpolarization currents propagated through both neural and non-neural tissue which synchronizes neural elements in the heart, lungs, limbic system and cortex. During inspiration, stretching of lung tissue produces inhibitory signals by action of slowly adapting stretch receptors (SARs) and hyperpolarization current by action of fibroblasts. Both inhibitory impulses and hyperpolarization current are known to synchronize neural elements leading to the modulation of the nervous system and decreased metabolic activity indicative of the parasympathetic state. In this paper we propose pranayama’s physiologic mechanism through a cellular and systems level perspective,involving both neural and non-neural elements. This theoretical description describes a common physiological mechanism underlying pranayama and elucidate the role of the respiratory and cardiovascular system on modulating the autonomic nervous system. Along with facilitating the design of clinical breathing techniques for the treatment of autonomic nervous system and other disorders, this model will also validate pranayama as a topic requiring more research. (shrink)

(2002). Phantasy and Wish: A Proper Function Account for Human A-Rational Primary Process Mediated Mentation. Australasian Journal of Philosophy: Vol. 80, No. 1, pp. 1-16.

The Plant Ontology (PO) (http://www.plantontology.org) (Jaiswal et al., 2005; Avraham et al., 2008) was designed to facilitate cross-database querying and to foster consistent use of plant-specific terminology in annotation. As new data are generated from the ever-expanding list of plant genome projects, the need for a consistent, cross-taxon vocabulary has grown. To meet this need, the PO is being expanded to represent all plants. This is the first ontology designed to encompass anatomical structures as well as growth and developmental stages (...) across such a broad taxonomic range. While other ontologies such as the Gene Ontology (GO) (The Gene Ontology Consortium, 2010) or Cell Type Ontology (CL) (Bard et al., 2005) cover all living organisms, they are confined to structures at the cellular level and below. The diversity of growth forms and life histories within plants presents a challenge, but also provides unique opportunities to study developmental and evolutionary homology across organisms. (shrink)